(atoms): Delete obsolete remark about `file' widget.

diff --git a/man/widget.texi b/man/widget.texi
index 5b4a4b12525193c77805dc9adc74f44c9915cc9d..91e74dca01c7aea85c99133a56660674c6478970 100644 (file)
--- a/man/widget.texi
+++ b/man/widget.texi
@@ -1282,9 +1282,7 @@ Allows you to enter a character in an editable field.
 @end deffn
 
 @deffn Widget file
-Allows you to edit a file name in an editable field.  If you invoke
-the tag button, you can edit the file name in the mini-buffer with
-completion.
+Allows you to edit a file name in an editable field.
 
 Keywords:
 @table @code